Section: Dissemination

Promoting Scientific Activities

Note: In this section we include only the activities of the permanent internal members of Comète.

Scientific events organisation

Member of the organizing committee

Catuscia Palamidessi is member of:

• The Executive Committee of SIGLOG, the ACM Special Interest Group on Logic and Computation. Since 2014.

• The Organizing Committee of LICS, the ACM/IEEE Symposium on Logic in Computer Science. Since 2010.

• The Council of EATCS, the European Association for Theoretical Computer Science. Since 2005.

• The Steering Committee of ETAPS, the European Joint Conferences on Theory and Practice of Software. Since 2006.

• The Steering Committee of EACSL, the European Association for Computer Science Logics. Since 2015.

• The Steering Committee of CONCUR, the International Conference in Concurrency Theory. Since 2016.

• The Steering Committee of FORTE, the International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Since 2014.

• The IFIP Technical Committee 1 – Foundations of Computer Science. Since 2007.

• The IFIP Working Group 2.2 – Formal Description of Programming Concepts. Since 2001.

• The IFIP Working Group 1.7 – Theoretical Foundations of Security Analysis and Design. Since 2010.

Frank D. Valencia is member of:

• The steering committee of the International Workshop in Concurrency EXPRESS. Since 2010.

Scientific events selection

Member of conference program committees

Catuscia Palamidessi is/has been a member of the program committees of the following conferences and workshops:

• ICTAC 2017. The 14th International Colloquium on Theoretical Aspects of Computing. Hanoi, Vietnam, 23-27 October 2017.

• TASE 2017. The 11th International Symposium on Theoretical Aspects of Software Engineering. Nice, France, 13-15 September 2017.

• CONCUR 2017. The 28th International Conference on Concurrency Theory. Berlin, Germany, 5-8 September 2017.

• CSL 2017. The 26th EACSL Annual Conference on Computer Science Logic. Stockholm, Sweden, 20-25 August 2017.

• ICSOFT-PT 2017. The 12th International Conference on Software Paradigm Trends. Lisbon, Portugal, 24-26 July 2017.

• ICALP 2017 (Track B). The 44th International Colloquium on Automata, Languages, and Programming. Warsaw, Poland, 10–14 July 2017.

• FORTE 2017. The 37th IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Neuchâtel, Switzerland, 19-22 June 2017.

• CSR 2017. The 12th International Computer Science Symposium in Russia. Kazan, Russia, 8–12 June 2017.

• ICTAC 2016. The 13th International Colloquium on Theoretical Aspects of Computing. Taipei, Taiwan, 24-31 October 2016.

• LOPSTR 2016. The 26th International Symposium on Logic-Based Program Synthesis and Transformation, 6-8 September 2016.

• CONCUR 2016. The 27th International Conference on Concurrency Theory. Québec City, Canada, 23-26 August 2016.

• TASE 2016. The 10th International Symposium on Theoretical Aspects of Software Engineering. Shanghai, China, 17-19 July 2016.

• FCS 2016. The Workshop on Foundations of Computer Security. Lisbon, Portugal, 27 June 2016.

• MFPS XXXII. The Thirty-second Conference on the Mathematical Foundations of Programming Semantics. Carnegie Mellon University, Pittsburgh, USA, 23-26 May 2016.

  PhDs in Logic VIII. Darmstadt, Germany, 9-11 May 2016.

• UEOP 2016. The 1st Workshop on Understanding and Enhancing Online Privacy. San Diego, USA, 21 February 2016.

Konstantinos Chatzikokolakis is/has been a member of the program committees of the following conferences and workshops:

• ICDE 2017: IEEE International Conference on Data Engineering

• CSF 2017: 30th IEEE Computer Security Foundations Symposium

• POST 2017: 6th International Conference on Principles of Security and Trust

• BIGQP 2017: International Workshop on Big Geo Data Quality and Privacy

• PETS 2016: The 16th Privacy Enhancing Technologies Symposium

• WWW 2016: 25th World Wide Web conference

• APVP 2016: 7ème Atelier sur la Protection de la Vie Privée

Frank D. Valencia is/has been a member of the program committees of the following conferences and workshops:

• PPDP 2016. The 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016).

• ICTAC 2016. The 13th International Colloquium on Theoretical Aspects of Computing (ICTAC 2016).

• ICLP DC 2016. 12th ICLP Doctoral Consortium.

Reviewer

The members of the team reviewed several papers for international conferences and workshops.

Journals

Member of the editorial board

Catuscia Palamidessi is:

• Member of the Editorial Board of Mathematical Structures in Computer Science, published by the Cambridge University Press.

• Member of the Editorial Board of Acta Informatica, published by Springer.

• Member of the Editorial Board of the Electronic Notes of Theoretical Computer Science, published by Elsevier Science.

• Member of the Editorial Board of LIPIcs: Leibniz International Proceedings in Informatics, Schloss Dagstuhl –Leibniz Center for Informatics.

Konstantinos Chatzikokolakis is:

• Editorial board member of the newly established Proceedings on Privacy Enhancing Technologies (PoPETs), a scholarly journal for timely research papers on privacy.

Reviewer

The members of the team reviewed several papers for international journals.

Other Editorial Activities

Frank D. Valencia has been:

• Co-editor of the special issue on Mathematical Structures in Computer Science dedicated to the best papers from the 12th International Colloquium on Theoretical Aspects of Computing.

Other Activities

Invited talks

Catuscia Palamidessi has given invited talks at the following conferences and workshops:

• DISCOTEC 2016 (Keynote speaker). The 11th International Federated Conference on Distributed Computing Techniques. Crete, Greece, 6-9 June 2016.

• Journée sur la Securité, la Sureté et la Confidentialité. Organized by Paris VII, Paris XIII and Systematic. Paris, France, 10 May 2016.

Participation in other committees

Catuscia Palamidessi has been serving in the following committees:

• Member of the Alonzo Church Award Committee. Since 2015. This award is for an outstanding contribution to Logic and Computation within the past 25 years.

• President of the selection committee for the EATCS Best Paper Award at the ETAPS conferences. Since 2006.

Service

Catuscia Palamidessi has served as:

• Reviewer for the projects proposal for the program PRIN, sponsored by the Italian MIUR (“Ministero dell'Istruzione, dell'Università e della Ricerca”). Since 2004.

• Member of the comité de selection for a position for Maitre de Conferences at l'Université de Paris VII (Paris Diderot). Spring 2016.

Frank Valencia has served as:

• Directeur adjoint de l'UMR 7161, le Laboratoire d'Informatique de l'Ecole Polytechnique (LIX). May 2016 - .